121. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
122. Mathematical foundations of computer science 1999 :
پدیدآورنده : Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.
123. Mathematical foundations of computer science 2008
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
124. Mathematical foundations of computer science 2003 :
پدیدآورنده : Krzysztof Diks and Wojciech Rytter (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
125. Mathematical foundations of computer science 200
پدیدآورنده : / Edward Ochmaanski, Jerzy Tyszkiewicz (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer science--Mathematics--Congresses,Computer programming--Congresses,Algorithms--Congresses,Computable functions--Congresses,Machine theory--Congresses
126. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
پدیدآورنده : M. Main...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
127. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
128. Mathematical foundations of programming semantics :
پدیدآورنده : M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
129. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده : M. Main...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
130. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
131. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده : Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : programming languages)lecture notes in computers(-semantics-Congresses,Computer sciences-mathematics-congresses
رده :
QA
76
.
7
.
M38
1990
132. Mathematical foundations of software development
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
133. Mathematical programing , Proceedings of an advance seminar conducted by the mathemaics Resarch Center the univeristy of Wiscons Wisconssim, and the UlS. Army at Madison sept. 11-13 , 1972
پدیدآورنده : Advanced seminar on Mathematical programmiong, Madison, 2791
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Programming ) Mathematics( - Congresses
رده :
QA
3
.
U45
134. Mathematical programming
پدیدآورنده : / edited by T. C. Huand, Stephen M. Robinson, proceedings of an advenced seminar conducted by the Mathematical Research Center, the University of Wisconsin, and the U. S. Army at Madison, September 11-13, 1972
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Programming (Mathematics) - Congresses
رده :
658
.
4033
A244m
1972
135. Mathematical programming; proceedings of an Advanced Seminar
پدیدآورنده : Advanced Seminar on Mathematical Programming, Madison, Wis
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Programming )Mathematics(
رده :
T
57
.
7
.
A38
136. Mathematical programming; proceedings of an Advanced Seminar
پدیدآورنده : Advanced Seminar on Mathematical Programming, 2791, Madison, Wis.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Mathematics(-- Congresses
رده :
QA
3
.
U45
no
.
30
137. Mathematical programming: recent developments and applications
پدیدآورنده : edited by Masao Iri and Kunio Tanabe
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Programming )Mathematics(
رده :
QA
402
.
5
.
M35288
138. Mathematical programs for activity analysis
پدیدآورنده : Moeseke, Paul van
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Programming )Mathematics( Congresses
رده :
T
57
.
7
.
M63
1974
139. Mathematics in transport planning and control :
پدیدآورنده : edited by J.D. Griffiths.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Traffic engineering-- Mathematical models, Congresses.,Traffic engineering-- Mathematical models.
رده :
HE332
.
I56
1998
140. Mathematics of Program Construction
پدیدآورنده : \ Ralf Hinze , Janis Voigtländer (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer programming -- Mathematics -- Congresses.,Computer programs -- Mathematics -- Congresses.,Logics and Meanings of Programs.,برنامه‌نویسی -- ریاضیات -- کنگره ها ,برنامه‌های کامپیوتری -- ریاضیات -- کنگره ها
رده :
QA
75
.
5
.
M32
2015
E-Book
,
